#include <sysdeps/i386/fpu/s_logbl.c>
